جزوه روش های رسمی در مهندسی نرم افزار و نمونه سوال
به تعداد 45 صفحه pdf
مناسب مرور سریع و جمع بندی ایام امتحانات
تعریف مهندسی نرم افزار
مشكلات كنوني نرم افزار
ويژگي هاي نرم افزار
فرآيند نرم افزار چيست؟
ضوابط ارزيابي نرم افزار
مراحل فرآيند مهندسي نرم افزار
فعاليت هاي پشتيباني فرآيند مهندسي نرم افزار
مدل آبشاري
مشكلات مدل آبشاری
مدل نمونه سازي
مدل حلزوني
Win Win مدل حلزوني
مدل روش هاي رسمي
ابزارهاي نسل چهارم
فرآيند مدل سازي يكنواخت
صحت سنجي سيستم System Verification
مراحل اجرای Model Ckecking
Transition Systems
جزوه روش های رسمی در مهندسی نرم افزار
*
:: برچسبها:
جزوه روش های رسمی در مهندسی نرم افزار ,